2

Linear-Time Self-Interpretation of the Pure Lambda Calculus

Year:
2000
Language:
english
File:
PDF, 87 KB
english, 2000
3

Efficient self-interpretation in lambda calculus

Year:
1992
Language:
english
File:
PDF, 768 KB
english, 1992
17

Inherited limits

Year:
1998
Language:
english
File:
PDF, 108 KB
english, 1998
37

[Undergraduate Topics in Computer Science] Introduction to Compiler Design ||

Year:
2011
Language:
english
File:
PDF, 1.52 MB
english, 2011
38

Lifetime of the internal reference oxygen sensor

Year:
2013
Language:
english
File:
PDF, 962 KB
english, 2013
41

WORM-2DPDAs: An extension to 2DPDAs that can be simulated in linear time

Year:
1994
Language:
english
File:
PDF, 625 KB
english, 1994
46

Introduction

Year:
2003
Language:
english
File:
PDF, 21 KB
english, 2003